#include<iostream>

using namespace std;

int t, v;
int main() {
   while(cin >> t >> v) {
      cout << (t*(v*2)) << endl; 
   } 
   return 0;
}
